.cm-s-manchester-syntax span.cm-quantifier {
    color: #c528eb;
    font-family: verdana,arial,helvetica,sans-serif;
    font-weight: bold;
    font-size: 12px;
}

.cm-s-manchester-syntax span.cm-boolean-connective {
    color: #0669eb;
    font-family: verdana,arial,helvetica,sans-serif;
    font-weight: bold;
    font-size: 12px;
}

.cm-s-manchester-syntax span.cm-string {
    font-family: verdana,arial,helvetica,sans-serif;
    font-size: 12px;
}


/*.CodeMirror pre {*/
    /*font-size: 12px;*/
    /*line-height: 12px;*/
    /*height: 14px;*/
/*}*/

.CodeMirror pre {
    line-height: 16px;
}

.ms-axiom-kw {
    font-weight: bold;
    color: #0A5EA8;
}


.section-kw {
    font-weight: bold;
    color: #0A5EA8;
}

.quantifier-kw {
    font-weight: bold;
    color: #B200B2;
}

.connective-kw {
    font-weight: bold;
    color: #00B2B2;
}

.deprecated {
    opacity: 0.5;
    text-decoration: line-through;
}

.highlight {
    font-weight: bold;
    background: #FFEB7F;
}

.iri {
    color: #0000ff;
    text-decoration: underline;
}

.literal {
    color: #a0522d;
}

.l-par {
    padding-right: 2px;
    color: #a9a9a9;
}

.r-par {
    padding-left: 2px;
    color: #a9a9a9;
}

.exp-block {
    display: inline-block;
    vertical-align: top;
}



body {
    font-family: verdana, arial, helvetica, sans-serif;
    font-size: 12px;
}

td {
    font-family: verdana, arial, helvetica, sans-serif;
    font-size: 12px;
    vertical-align: top;
}

.ms-frame {
    margin-bottom: 30px;
    /*border-bottom: 1px solid #f3f3f3;*/
    padding-bottom: 5px;
    font-size: 12px;

}

.ms-frame ul {
    list-style: disc;
    list-style-position: inside;
    padding-left: 10px;
    padding-top: 2px;
    padding-bottom: 2px;
}

.ms-frame-subject {
    font-weight: bold;
}

.ms-frame-kw {
    color: #02178E;
    font-weight: bold;
}

.ms-frame-block {
    margin-left: 30px;
}

.ms-section {
    margin-top: 10px;
}

.ms-section-block {
    margin-top: 10px;
    margin-left: 30px;
}

.ms-section-item {
    line-height: 1.3em;
    padding-bottom: 3px;
    padding-top:3px;
    border-bottom: 1px solid #f4f4f4;
}

.ms-section-item:hover {
    background: #ededed;
}

.ms-section-kw {
    color: #02178E;
    font-weight: bold;
}

.ms-quantifier-kw {
    color: #c600c6;
    font-weight: bold;
}

.cm-quantifier {
    color: #c600c6;
    font-weight: bold;
}

.ms-connective-kw {
    color: cornflowerblue;
    font-weight: bold;
}

.ms-literal {
    color: #bb7200;
}

.ms-expr-block {
    display: inline-block;
    vertical-align: top;
}

.ms-lang-tag {
    color: #a9a9a9;
}

.ms-literal-datatype {
    color: #a9a9a9;
}

.ms-sep {
    color: #a9a9a9;
    display: inline-block;
    vertical-align: bottom;
}

.ms-l-par {
    color: #a9a9a9;
}

.ms-r-par {
    color: #a9a9a9;
    display: inline-block;
    vertical-align: bottom;
}

.ms-img {
    display: inline-block;
    vertical-align: top;
    border: 1px solid #f5f5f5;
    margin-left: 10px;
    margin-bottom: 10px;
    margin-top: 5px;
}

.ms-img img {
    max-width: 150px;
}

.ms-ont-id {
    color: #bca7a8;
}

.ms-item-ce {
    background: url("../images/tree/class.png") no-repeat 0 -1px;
    padding-left: 20px;
}

.ms-item-ind {
    background: url("../images/tree/individual.png") no-repeat 0 -1px;
    padding-left: 20px;
}

.ms-item-anno {
    background: url("../images/tree/annotation-property.png") no-repeat 0 -1px;
    padding-left: 20px;
}

.ms-item-prop {
    background: url("../images/tree/property.png") no-repeat 0 -1px;
    padding-left: 20px;
}

.ms-item-dr {
    background: url("../images/tree/datatype.png") no-repeat 0 -1px;
    padding-left: 20px;
}

.ms-literal p:only-child {
    display: inline;
    margin: 0;
    padding: 0;
}

.ms-annotations {
    border-left: solid 4px #f1f1f1;
    margin-bottom: 4px;
    margin-left: 22px;
    padding-left: 5px;
    margin-top: 4px;
}

.ms-annotations-block {
    padding-left: 20px;
}

.ms-nested-annotation {
    /*	border-top: 1px dotted #f4f4f4;*/
}

